Microsoft Mathematics - PDFSEARCH.IO - Document Search Engine

Microsoft Mathematics
Results: 4205

#	Item
401	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:08 Computing Algebra Logical syntax Causality Static single assignment form Assignment Mathematics Software engineering Variables
402	µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:02 Mathematical logic Mathematical structures Model theory Algebraic logic Boolean algebra Finitary relation Structure Relational algebra Relation algebra Mathematics Algebra Abstract algebra
403	Microsoft Word - R Reference Card 2.0.doc Add to Reading List Source URL: mirror.fcaglp.unlp.edu.ar Language: English - Date: 2013-01-05 06:05:12 Elementary mathematics Functions and mappings Linear algebra Analytic geometry Function Normal distribution Vector space Conditioning Inverse function Mathematics Mathematical analysis Algebra
404	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
405	Microsoft Word - KL-1_RussianCircularSlideRule.rtf Add to Reading List Source URL: sliderulemuseum.com Language: English Slide rule Mathematical analysis Computing Trigonometric functions Pointer Trigonometry Weighing scale Musical scale Mathematics Analog computers Logarithms
406	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:08 Elementary mathematics Constraint programming Type theory Environment variable Function Differential of a function Constraint satisfaction problem Mathematics Algebra Variables
407	Microsoft Word - FormalismAndIntuition.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:53:32 Abstraction Formal sciences Philosophy of mathematics Reasoning Systems Reason Complexity Formal methods Logic Science Knowledge Ethology
408	Program Extrapolation with Jennisys K. Rustan M. Leino0 and Aleksandar Milicevic1 0 Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-07 17:01:53 Data types Type theory Control flow Eval Type system Concolic testing Constructor Algorithm KeY Computing Software engineering Mathematics
409	Microsoft Word - ijita12-1.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:06 Applied mathematics Computing Natural computing Theoretical computer science Membrane computing Directed acyclic graph Parallel computing Cell Cellular neural network Computational neuroscience Computer architecture Neural networks
410	Microsoft PowerPoint - siam-sheff-0104.ppt Add to Reading List Source URL: www.netlib.org Language: English - Date: 2004-01-11 09:09:31 Numerical software Numerical linear algebra Cache Supercomputers Basic Linear Algebra Subprograms Program optimization Algorithm CPU cache Scheduling Computing Mathematics Applied mathematics

UPDATE